CONCEPTION MANAGEMENT CLASS: Problems and Solutions

Class Invariants: Concepts, Problems, Solutions

Class invariants are both a core concept of object-oriented programming and the source of the two key open OO verification problems: furtive access (from callbacks) and reference leak (from aliasing). Existing approaches force on programmers an unacceptable annotation burden. This article explains invariants and solves both problems modularly through the O-rule, defining fundamental OO semantic...

MANAGEMENT : " WORST " PROBLEMS AND " BEST " SOLUTIONS Contents

Information Security Management Standards: Problems and Solutions

This paper critically analyses the foundations of three widely advocated information security management standards (BS7799, GASPP and SSE-CMM). The analysis reveals several fundamental problems related to these standards, casting serious doubts on their validity. The implications for research and practice, in improving information security management standards, are considered.

Existence results of infinitely many solutions for a class of p(x)-biharmonic problems

The existence of infinitely many weak solutions for a Navier doubly eigenvalue boundary value problem involving the $p(x)$-biharmonic operator is established. In our main result, under an appropriate oscillating behavior of the nonlinearity and suitable assumptions on the variable exponent, a sequence of pairwise distinct solutions is obtained. Furthermore, some applications are pointed out.

On the existence of nonnegative solutions for a class of fractional boundary value problems

‎In this paper‎, ‎we provide sufficient conditions for the existence of nonnegative solutions of a boundary value problem for a fractional order differential equation‎. ‎By applying Kranoselskii`s fixed--point theorem in a cone‎, ‎first we prove the existence of solutions of an auxiliary BVP formulated by truncating the response function‎. ‎Then the Arzela--Ascoli theorem is used to take $C^1$ ...